<HTML><HEAD><TITLE>float(?Real)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Type Testing</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>float(?Real)</H1>
Succeeds if Real is a floating point number.
<DL>
<DT><EM>Real</EM></DT>
<DD>Prolog term.
</DD>
</DL>
<H2>Description</H2>
   Used to test whether Real is a floating point number.

<P>

<H3>Modes and Determinism</H3><UL>
<LI>float(?) is semidet
</UL>
<H3>Fail Conditions</H3>
Fails if Real is not a floating point number
<H2>Examples</H2>
<PRE>
   Success:
   float(1.0).
   float(3e27).
   Fail:
   float(1).
   float('1.0').
   float(X).
</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/typetest/atomic-1.html">atomic / 1</A>, <A HREF="../../kernel/typetest/integer-1.html">integer / 1</A>, <A HREF="../../kernel/typetest/number-1.html">number / 1</A>, <A HREF="../../kernel/typetest/rational-1.html">rational / 1</A>, <A HREF="../../kernel/typetest/breal-1.html">breal / 1</A>, <A HREF="../../kernel/typetest/real-1.html">real / 1</A>
</BODY></HTML>
